🔄 Tail Recursion - abnv · Scour

Wrapping my head around Tail Recursion and TCO 🔄Tail Call Analysis

functiondispatch.substack.com·1d·r/programming·

Wrapping my head around Tail Recursion and TCO 🔄Tail Call Analysis

reddit.com·1d·Substack·

An Update On Typed Racket For HtDP 🎭Racket Modules

callumr.com·4d·

Validating Hare’s Sort Module using Symbolic Execution 🎯Symbolic Execution

notes.8pit.net·5h·Lobsters·

'We worry that migration rules are making Sweden more unattractive' 🌊Effect Rows

thelocal.se·2d·

Introduction to Compilers and Language Design 🎓Teaching Compilers

dthain.github.io·8h·

rahultumpala/dsm: Declarative finite state machines and pipelines 🎭Staged Interpreters

github.com·13h·

Iteratively optimizing an SPSC queue 🎯Ring Buffers

blog.c21-mac.com·4d·r/cpp·

Formal Verification in Any Language for Everybody 🏭Functional Compilers

dev-log.me·2d·Hacker News·

Generators in Lone Lisp 🔮Lisp Interpreters

news.ycombinator.com·6d·Hacker News·

wastrelly wabbits 🏗️Cranelift

wingolog.org·2d·Lobsters, Hacker News·

Branch prediction : an insight into CPU performance 🔮Branch Predictors

medium.com·2d·

Speeding up JavaScript function with AI help ⚡Interpreter Optimization

blog.kowalczyk.info·4d·

The revolution of compiler-enforced correctness: bugs that the Rust compiler catches for you 🪆Embedded DSLs

kerkour.com·1d·

Formally verifying digital circuits with category theory in Lean 🔗Category Theory

matt.hunzinger.me·5d·r/programming·

Garbage Collection: From First Principles to Modern Collectors in Java, Go and Python 🗑️Garbage Collection

shbhmrzd.github.io·1d·Hacker News, r/golang, r/programming·

The Wrong Spherical Cow - First Principles of Parts Based Programming 🏛️Elm Architecture

programmingsimplicity.substack.com·4d·Substack·

From Spaghetti Code to Slop Code 🚂Error Propagation

pub.towardsai.net

·6d·

Theory of Constraints in a Go Pipeline 🐹Go Internals

binaryphile.com·4d·

Running State Pattern 🏷️Symbol Interning

leetcode.com

·3d·DEV·

Loading more...